1

Expressiveness of concept expressions in first-order description logics

Année:
1999
Langue:
english
Fichier:
PDF, 1.72 MB
english, 1999
2

Bisimulations for Temporal Logic

Année:
1997
Langue:
english
Fichier:
PDF, 228 KB
english, 1997
3

Categorial Inference and Modal Logic

Année:
1998
Langue:
english
Fichier:
PDF, 97 KB
english, 1998
4

Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds.

Année:
2000
Langue:
english
Fichier:
PDF, 39 KB
english, 2000
5

Talking about Explicit Databases in Categorial Grammar

Année:
1995
Langue:
english
Fichier:
PDF, 588 KB
english, 1995
6

Simulating without Negation

Année:
1997
Langue:
english
Fichier:
PDF, 1.07 MB
english, 1997
8

Handbook of Logic and Languageby Johan van Benthem; Alice ter Meulen

Année:
2000
Langue:
english
Fichier:
PDF, 1.06 MB
english, 2000